Monadic predicate calculus
Monadic logic; Monadic predicate logic; Monadic first-order logic; First order monadic predicate logic; Monadic first-order logic of order
In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form P(x), where P is a relation symbol and x is a variable.